1. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
2. Proof theory and intuitionistic systems
پدیدآورنده : / [by] Bruno Scarpellini
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
4. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
5. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
9
.
S3
1971
6. Proof theory and intuitionistic systems
پدیدآورنده : / Bruno Scarpellini
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
7. Stability, instability, and direct integrals
پدیدآورنده : Scarpellini, Bruno.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Differential equations, Parabolic - Numerical solutions,، Lyapunov stability
رده :
QA
377
.
S34
1999
8. Stability, instability, and direct integrals
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Differential equations, Parabolic-- Numerical solutions,، Lyapunov stability
رده :
QA
377
.
S34
1999
